www.proCae.ru - это последняя модификация нескольких сайтов CAD, CAE и CAM тематики. На страницах ресурса Вы найдете хорошие статьи, посвященные таким СAD, как SolidWorks, Компас AutoCAD, расчетам в таких CAE, как Ansys, Ansys CFX, Fluent, Star-CD, QForm и многое другое.
Хочется надеяться, что эта книга найдет читателей, готовых на некоторые усилия для того, чтобы войти в круг идей теории рекурсивных функций — теории, одним из замечательных результатов которой является, например, теорема Гёделя о неполноте, Речь идет о вопросах, при обсуждении которых наш обыденный язык становится неоднозначным и недостаточно точным; он обладает привлекательной, но для наших целей губительной способностью выражать разнообразные смысловые оттенки и сложные намеки. Это наводит на мысль построить некий сакральный (или, говоря более прозаично, формальный) язык, обладающий небольшим, но достаточным для нашего исследования запасом символов (логических, например) и немногими правилами их соединения, так чтобы его использование гарантировало точность и однозначность выводов. Помимо этого, мы опишем устройство и действие так называемых машин Тьюринга, каждая из которых работает согласно своему неизменному закону вдоль неограниченной в одну сторону писчей ленты: печатает на ней, стирает прежние записи и, возможно, прекращает работу после получения решения.
